InvFuns($A$;$B$;$f$;$g$) $\,\equiv$$_{\mbox{\scriptsize def}}$$\;\;$($g$ o $f$) = Id\{$A$\} \& ($f$ o $g$) = Id\{$B$\}